<?php

/*Add To 2017-3-2 将月份变为英文缩写*/
/**
 * [change_Eng_month 将07-21-2017日期格式的时间处理]
 * @param  [type] $month_num [字符串 如：07-21-2017]
 * @return [type]            [返回对应月份的英文缩写]
 */
function change_Eng_month($month_num){
	$English_monthName = array(
		"01" =>"Jan",
		"02" =>"Feb",
		"03" =>"Mar",
		"04" =>"Apr",
		"05" =>"May",
		"06" =>"Jun",
		"07" =>"Jul",
		"08" =>"Aug",
		"09" =>"Sept",
		"10" =>"Oct",
		"11" =>"Nov",
		"12" =>"Dec",
		);
	$month_num = substr($month_num,'0','2');
	$show_engMonth = $English_monthName[$month_num];
	return $show_engMonth;
}
